1. Handbook of computability theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computable functions
رده :
QA
9
.
59
.
H36
1999
2. Handbook of computability theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computable functions. ;
3. Handbook of system safety and security :
پدیدآورنده : edited by Edward Griffor
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks-- Security measures,Computer security,Cyber intelligence (Computer security)
رده :
QA76
.
9
.
A25
4. Handbook of system safety and security :cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems
پدیدآورنده : Edward Griffor
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Computer security,Security measures ، Computer networks,Security measures ، Computer networks,، Computer security
رده :
QA
76
.
9
.
A25H366
2017
5. Logic's lost genius : the life of Gerhard Gentzen
پدیدآورنده : Menzler-Trott, Eckart
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Gentzen, Gerhard,Biography ، Mathematicians -- Germany,، Logic, Symbolic and mathematical
رده :
QA
29
.
G467M4613
6. Mathematical theory of domains
پدیدآورنده : / Viggo Stoltenberg-Hansen, Ingrid Lindstrm, Edward R. Griffor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science--Mathematics,Approximation theory
رده :
QA76
.
9
.
M35
,
S76
1994
7. Mathematical theory of domains
پدیدآورنده : Stoltenberg-Hansen, Viggo
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Approximation theory,، Numerical analysis
رده :
QA
76
.
9
.
M35S76
